qMultiSum—a package for proving q-hypergeometric multiple summation identities
نویسندگان
چکیده
منابع مشابه
qMultiSum--a package for proving q-hypergeometric multiple summation identities
A Mathematica package for finding recurrences for q-hypergeometric multiple sums is introduced. Together with a detailed description of the theoretical background, we present several examples to illustrate its usage and range of applicability. In particular, various computer proofs of recently discovered identities are exhibited.
متن کاملA new elementary algorithm for proving q-hypergeometric identities
We give a fast elementary algorithm to get a small number n1 for an admissible q-properhypergeometric identity ∑ k F(n, k) = G(n), n ≥ n0 such that we can prove the identity by checking its correctness for n (n0 ≤ n ≤ n1). For example, we get n1 = 191 for the q-Vandermonde-Chu identity, n1 = 70 for a finite version of Jacobi’s triple product identity and n1 = 209 for an identity due to L.J. Rog...
متن کاملAlgorithms for q-Hypergeometric Summation in Computer Algebra
together with their Maple implementations, which is relevant both to people being interested in symbolic computation and in q-series. For all these algorithms, the theoretical background is already known and has been described, so we give only short descriptions, and concentrate ourselves on introducing our corresponding Maple implementations by examples. Each section is closed with a descripti...
متن کاملTWO IDENTITIES FOR MULTIPLE HARMONIC q-SERIES
Abstract. We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial coefficients. Special cases of these identities—for example, with all parameters equal to 1—have occurred in the literature. The special case with only ...
متن کاملHypergeometric summation revisited
We consider hypergeometric sequences i e the sequences which satisfy linear rst order homogeneous recurrence equations with rela tively prime polynomial coe cients Some results related to necessary and su cient conditions are discussed for validity of discrete Newton Leibniz formula P w k v t k u w u v when u k R k t k and R k is a rational solution of Gosper s equation
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2003
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(02)00138-4